Critical Software

Results: 1293



#Item
111  Domain Engineering A Basis for Safety Critical Software  Dines Bjørner

1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

Add to Reading List

Source URL: www.imm.dtu.dk

- Date: 2014-04-30 21:31:19
    12Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

    Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

    Add to Reading List

    Source URL: www.imm.dtu.dk

    - Date: 2014-03-18 04:09:10
      13Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

      Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

      Add to Reading List

      Source URL: www.imm.dtu.dk

      - Date: 2014-04-30 21:16:31
        141  Domain Engineering A Basis for Safety Critical Software  Dines Bjørner

        1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

        Add to Reading List

        Source URL: www.imm.dtu.dk

        - Date: 2014-03-18 04:09:14
          15Customer Insights Autonomous Vehicle Software Leader Monetizing the Internet of Things for New “Most application producers don’t get how Opportunities  critical licensing and entitlement

          Customer Insights Autonomous Vehicle Software Leader Monetizing the Internet of Things for New “Most application producers don’t get how Opportunities critical licensing and entitlement

          Add to Reading List

          Source URL: media.flexerasoftware.com

          - Date: 2016-12-06 11:42:21
            16Energy Analysis of Hardware and Software Range Partitioning LISA WU, ORESTIS POLYCHRONIOU, RAYMOND J. BARKER, MARTHA A. KIM, and KENNETH A. ROSS, Columbia University Data partitioning is a critical operation for manipula

            Energy Analysis of Hardware and Software Range Partitioning LISA WU, ORESTIS POLYCHRONIOU, RAYMOND J. BARKER, MARTHA A. KIM, and KENNETH A. ROSS, Columbia University Data partitioning is a critical operation for manipula

            Add to Reading List

            Source URL: arcade.cs.columbia.edu

            - Date: 2014-09-02 17:04:26
              17ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en

              ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en

              Add to Reading List

              Source URL: repository.lib.ncsu.edu

              - Date: 2014-07-25 02:20:30
                18C9 Case Study I Progress Software  Increasing Sales Performance with Visibility into and Analysis of Change Progress Uses C9 to Focus on Critical Deals

                C9 Case Study I Progress Software Increasing Sales Performance with Visibility into and Analysis of Change Progress Uses C9 to Focus on Critical Deals

                Add to Reading List

                Source URL: www.c9inc.com

                - Date: 2014-10-03 13:25:30
                  19Effective Verification of Flight Critical Software Systems: Issues and Approaches Devesh Bhatt and Kirk Schloegel Honeywell Aerospace Advanced Technology 1985 Douglas Dr. N, Golden Valley, MN 55422  {devesh.bhatt, kirk.s

                  Effective Verification of Flight Critical Software Systems: Issues and Approaches Devesh Bhatt and Kirk Schloegel Honeywell Aerospace Advanced Technology 1985 Douglas Dr. N, Golden Valley, MN 55422 {devesh.bhatt, kirk.s

                  Add to Reading List

                  Source URL: fm.csl.sri.com

                  - Date: 2010-11-02 03:26:20
                    20Senior Software Engineer Ridgetop Group seeks a Senior Software Engineer to lead the research and development to provide its customers with advanced diagnostic and prognostic solutions for critical applications, at its h

                    Senior Software Engineer Ridgetop Group seeks a Senior Software Engineer to lead the research and development to provide its customers with advanced diagnostic and prognostic solutions for critical applications, at its h

                    Add to Reading List

                    Source URL: www.ridgetopgroup.com

                    - Date: 2015-07-18 01:30:08